161. Tools and algorithms for the construction and analysis of systems :
پدیدآورنده : Dirk Beyer, Marieke Huisman (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer software-- Verification, Congresses.,System analysis, Congresses.,System design, Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computer software-- Verification.,Computers-- Hardware-- Handheld Devices.,Computers-- Information Theory.,Computers-- Programming-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Software Engineering.,System analysis.,System design.,Systems analysis & design.
رده :
QA76
.
9
.
S88
162. Towards a service-based Internet
پدیدآورنده : Witold Abramowicz ... [et al.] (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Human-computer interaction, Congresses,Internet, Congresses
رده :
TK5105
.
875
.
I57
S47
2011
163. Transactions on large-scale data- and knowledge-centered systems XXXVII /
پدیدآورنده : edited by Abdelkader Hameurlain, Roland Wagner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer networks-- Security measures, Congresses.,Computer security, Congresses.,Data mining, Congresses.,Database management, Congresses.,Artificial intelligence.,Artificial intelligence.,Computer networks.,Computer science.,Computer security.,Computer security.,Computers-- Database Management-- Data Mining.,Computers-- Hardware-- Network Hardware.,Computers-- Intelligence (AI) & Semantics.,Computers-- Operating Systems-- General.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Data mining.,Data mining.,Network hardware.,Operating systems (Computers),Operating systems.,Software engineering.,Software Engineering.
رده :
QA76
.
9
.
A25
164. Ubiquitous communications and network computing :
پدیدآورنده : Navin Kumar, R. Venkatesha Prasad (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer networks, Congresses.,Computer science, Congresses.,Internet of things, Congresses.,Computer networks.,Computer science.,Internet of things.
رده :
TK5105
.
5
165. Verification and evaluation of computer and communication systems :
پدیدآورنده : Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer networks-- Evaluation, Congresses.,Computer software-- Verification, Congresses.,Algorithms & data structures.,Computer networks-- Evaluation.,Computer programming-- software development.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,Systems analysis & design.
رده :
TK5105
.
5
166. Web Information Systems Engineering – WISE 2015
پدیدآورنده : \ edited by Jianyong Wang, Wojciech Cellary, Dingding Wang, Hua Wang, Shu-Ching Chen, Tao Li, Yanchun Zhang.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses.,Computer science.,Computer networks.,نرم‌افزار -- مهندسی -- کنگره‌ها ,علوم کامپیوتر,شبکه‌های رایانه ای
رده :
QA76
.
758
.
W41
2015
E-Book
,
